proof methods discrete math